161. Dynamic Worlds
Author: edited by Remo Pareschi, Bertram Fronhöfer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
162. Dynamic logic
Author: / David Harel, Dexter Kozen, Jerzy Tiuryn
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic.,Formal methods (Computer science)
Classification :
QA
,
76
.
9
,.
L63
,
H37
,
2000
163. Dynamische Integrität von Datenbanken :
Author: von Udo W. Lipeck.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Logic design.
Classification :
QA76
.
9
.
D3
V668
1989
164. Elementary Logics: A Procedural Perspective
Author: / Dov Gabbay
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer Science,Logic, Symbolic and Mathematical
Classification :
QA76
.
G223
1998
165. Emotional cognitive neural algorithms with engineering applications
Author: / Leonid Perlovsky, Ross Deming, and Roman Ilin
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Cognitive neuroscience.,Computer logic.,Formal methods (Computer science),Neural networks (Computer science)
Classification :
QP
,
360
.
5
,.
P474
,
2011
166. Emotional cognitive neural algorithms with engineering applications
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Cognitive neuroscience. ; Computer logic. ; Formal methods (Computer science) ; Neural networks (Computer science) ;
167. Emotional cognitive neural algorithms with engineering applications : dynamic logic : from vague to crisp
Author: Perlovsky, Leonid I.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، Formal methods )Computer science(,، Neural networks )Computer science(
Classification :
QP
360
.
5
.
P47E4
168. Entity-Relationship Approach - ER '93 :
Author: edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Logic, Symbolic and mathematical.
169. Epistemic logic for AI and computer science
Author: Meyer, John-Jules Ch.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
M495
1995
170. Eurofuse 2011
Author: Pedro Melo-Pinto ... [et al] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science), Congresses,Fuzzy logic, Congresses,Fuzzy mathematics, Congresses,Fuzzy systems, Congresses
Classification :
QA76
.
76
.
E95
E325
2011eb
171. Evolving Knowledge Bases
Author: \ Joao Alexandra Leite
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming.,Expert systems (Computer science),برنامهنویسی منطقی.,سیستمهای خبره (کامپیوتر),a03,a04,a03,a04
Classification :
E-Book
,
172. Evolving knowledge base
Author: / Jo?uo Alexandre Leite
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic programming.,Expert systems (Computer science)
Classification :
QA
,
76
.
63
,.
L48
,
2003eb
173. Evolving knowledge bases
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic programming. ; Expert systems (Computer science) ;
174. Evolving knowledge bases :
Author: João Alexandre Leite.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science),Logic programming.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Expert systems (Computer science),Logic programming.
Classification :
QA76
.
63
.
L48
2003eb
175. Expert critiquing systems : practice-based medical consultation by computer
Author: Miller, Perry L.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Medicine-- Decision making-- Data processing,، Medical logic-- Data processing,، Expert systems )Computer science(,، Computers,، Patient Care Planning
Classification :
R
858
.
M543
1986
176. Fault Diagnosis and Fault Tolerance :
Author: by Tinghuai Chen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis.,Computer science.,Logic design.
Classification :
QA76
.
9
.
F38
B985
1992
177. Fields of Logic and Computation II
Author: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
9
.
L63
F54
2015
E-Book
,
178. Finite Automata, Formal Logic, and Circuit Complexity
Author: by Howard Straubing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA76
.
9
.
M35
B946
1994
179. Finite Fields
Author: by Dirk Hachenberger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer engineering.,Computer science.,Logic, Symbolic and mathematical.
180. Finite automata, formal logic, and circuit complexity
Author: / Howard Straubing
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science- Mathematics,Automata,Logic, Symbolic and mathematical,Computational complexity
Classification :
QA76
.
9
.
M35
,
S77
1994
